21![Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University](https://www.pdfsearch.io/img/5613f112c538e8d918be50c7e7fb8fe2.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2008-10-20 05:03:57
|
---|
22![Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract](https://www.pdfsearch.io/img/640feb83439ab54d31a9ce7a85282e77.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2015-04-01 07:45:41
|
---|
23![Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§ Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§](https://www.pdfsearch.io/img/86a7d5b43628b35c91d9a601efbee40a.jpg) | Add to Reading ListSource URL: stephenbach.netLanguage: English - Date: 2015-12-16 16:04:19
|
---|
24![Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015](https://www.pdfsearch.io/img/bf249296acb864dd3bd929b8b205906c.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2016-02-19 10:54:23
|
---|
25![From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep](https://www.pdfsearch.io/img/33cd8b08b1b289b7c1ff8bfe27984669.jpg) | Add to Reading ListSource URL: www.haz.caLanguage: English - Date: 2015-05-09 01:33:31
|
---|
26![Biases and [Ir]rationality 2 Informatics 1 CG: Lecture 19 Chris Lucas
Last time Biases and [Ir]rationality 2 Informatics 1 CG: Lecture 19 Chris Lucas
Last time](https://www.pdfsearch.io/img/4c89da286c5ef308004362a2ad663152.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2016-03-01 08:55:09
|
---|
27![ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary](https://www.pdfsearch.io/img/c1f634f5149cba01d101c327c44014d9.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-30 00:16:48
|
---|
28![This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar](https://www.pdfsearch.io/img/0e7f3638b38a77c100638d34d8f68639.jpg) | Add to Reading ListSource URL: people.tubri.orgLanguage: English - Date: 2010-06-03 12:09:47
|
---|
29![1 For Immediate Release November 10, 2015 Further Info: Blaine Todd Director of Communicationsext. 301 offce 1 For Immediate Release November 10, 2015 Further Info: Blaine Todd Director of Communicationsext. 301 offce](https://www.pdfsearch.io/img/7c19c265ba766ec3b205291bd381cdb9.jpg) | Add to Reading ListSource URL: otherminds.orgLanguage: English - Date: 2015-12-01 18:49:45
|
---|
30![A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract](https://www.pdfsearch.io/img/51e05f488b40b8cbc36b916be9286a27.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2016-06-10 10:39:23
|
---|